Motives for perfect PAC fields with pro-cyclic Galois group
نویسنده
چکیده
Denef and Loeser defined a map from the Grothendieck ring of sets definable in pseudo-finite fields to the Grothendieck ring of Chow motives, thus enabling to apply any cohomological invariant to these sets. We generalize this to perfect, pseudo algebraically closed fields with pro-cyclic Galois group. In addition, we define some maps between different Grothendieck rings of definable sets which provide additional information, not contained in the associated motive. In particular we infer that the map of Denef-Loeser is not injective.
منابع مشابه
Decidability and Undecidability Theorems for Pac-fields
A pseudo-algebraically closed field (PAC-field for short) is a field K such that every absolutely irreducible variety defined over K has ̂ -rational points. In [Ax] Ax gave a decision method for the (elementary) theory of finite fields, the basis of which was his characterization of the infinite models of that theory as the perfect PAC-fields K with G(K) = Z. (Here and in the following we use th...
متن کاملProjective Pairs of Profinite Groups
We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic extension of a PAC field K. Then M/K is PAC if and only if the corresponding pair of absolute Galois groups (Gal(M),Gal(K)) is projective. Moreover any projecti...
متن کاملThe Embedding Problem over a Hilbertian Pac-field
We show that the absolute Galois group of a countable Hilbertian P(seudo)A(lgebraically)C(losed) field of characteristic 0 is a free profinite group of countably infinite rank (Theorem A). As a consequence, G(Q̄/Q) is the extension of groups with a fairly simple structure (e.g., ∏∞ n=2 Sn) by a countably free group. In addition, we characterize those PAC fields over which every finite group is a...
متن کاملPseudo Algebraically Closed Fields over Rings
We prove that for almost all σ ∈ G(Q)e the field Q̃(σ) has the following property: For each absolutely irreducible affine variety V of dimension r and each dominating separable rational map φ: V → Ar there exists a point a ∈ V (Q̃(σ)) such that φ(a) ∈ Zr. We then say that Q̃(σ) is PAC over Z. This is a stronger property then being PAC. Indeed we show that beside the fields Q̃(σ) other fields which ...
متن کاملPac Fields over Finitely
We prove the following theorem for a finitely generated field K: Let M be a Galois extension of K which is not separably closed. Then M is not PAC over K.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 73 شماره
صفحات -
تاریخ انتشار 2008